This is the experimental data for paper "Efficient Convex Zone Merging in Parametric Timed Automata" It comes in the form of two archives: merging-artifact.zip: the whole set of benchmarks with the scripts to run merging-artifact-FORMATS22-results.zip: all results executed 5 time
A repository of the code and data used in the paper "Electroactive Polymer Gels as Computational Pro...
All data, results, and scripts from Al-Zn-Mg-Cu high-throughput case study. *.zip are the specimen-...
<p>Raw data of the experiments in "Towards the Reproducibility of Using Dynamic Loop Scheduling Tech...
Data for paper "Zone extrapolations in parametric timed automata" This data set comes with two zip ...
Our zip contains all necessary scripts, models, binaries and instructions to reproduce the experimen...
This artifact provides all necessary script, code and data to reproduce the performance evaluation ...
This is the accompanying artifact for the paper "TASTyTruffle: Just-in-time Specialization of Parame...
This data set contains all experimental data for paper "strategFTO: Untimed control for timed opacit...
The artifact contains the latest version (3.0.0) of the imitator software (https://www.imitator.fr) ...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
Data for "Exemplifying parametric timed specifications over signals with bounded behavior" See READ...
All data, results, and scripts from the Al-Si-Sc additive manufacturing alloy design high-throughput...
This artifact provides all necessary script, code and data to reproduce the performance evaluation ...
We present here the IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric ti...
Summary: Alignment of peaks across samples is a difficult but unavoidable step in the data ana-lysis...
A repository of the code and data used in the paper "Electroactive Polymer Gels as Computational Pro...
All data, results, and scripts from Al-Zn-Mg-Cu high-throughput case study. *.zip are the specimen-...
<p>Raw data of the experiments in "Towards the Reproducibility of Using Dynamic Loop Scheduling Tech...
Data for paper "Zone extrapolations in parametric timed automata" This data set comes with two zip ...
Our zip contains all necessary scripts, models, binaries and instructions to reproduce the experimen...
This artifact provides all necessary script, code and data to reproduce the performance evaluation ...
This is the accompanying artifact for the paper "TASTyTruffle: Just-in-time Specialization of Parame...
This data set contains all experimental data for paper "strategFTO: Untimed control for timed opacit...
The artifact contains the latest version (3.0.0) of the imitator software (https://www.imitator.fr) ...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
Data for "Exemplifying parametric timed specifications over signals with bounded behavior" See READ...
All data, results, and scripts from the Al-Si-Sc additive manufacturing alloy design high-throughput...
This artifact provides all necessary script, code and data to reproduce the performance evaluation ...
We present here the IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric ti...
Summary: Alignment of peaks across samples is a difficult but unavoidable step in the data ana-lysis...
A repository of the code and data used in the paper "Electroactive Polymer Gels as Computational Pro...
All data, results, and scripts from Al-Zn-Mg-Cu high-throughput case study. *.zip are the specimen-...
<p>Raw data of the experiments in "Towards the Reproducibility of Using Dynamic Loop Scheduling Tech...
DOI
Add to ORKG